A Mathematical Theory of Truth with Application to the Regress Problem
نویسنده
چکیده
Hannes Leitgeb formulated eight norms for theories of truth in his paper [12]: ‘What Theories of Truth Should be Like (but Cannot be)’. We shall show in the present paper that a theory of truth can be formulated for suitably constructed metalanguages of the first-order language L = {∈} of set theory which conforms with those norms, added by the norm: Metalanguages for which mathematical theories of truth are formulated should be free from contradictions. In proofs only ZF set theory, concepts definable in L and classical two-valued logic are used. Similar theory of truth can be formulated also for each consistent theory of every countable first–order formal language. The presented theory is free from infinite regress, whence it provides a proper framework to study the regress problem. MSC: 00A30, 03A05, 03B10, 03C62, 03E04, 03F50, 06A07, 47H04, 47H10
منابع مشابه
Application of Chaos Theory in Hazardous Material Transportation
Risk factors are generally defined and assigned to road networks, as constant measures in hazmat routing problems. In fact, they may be dynamic variables depending on traffic volume, weather and road condition, and drivers' behavior. In this research work, risk factors are defined as dynamic variables using the concept of chaos theory. The largest Lyapunov exponent is utilized to determine the ...
متن کاملCosmological argument in proving the existence of God from Imam Khomeini's (RA) point of view
This article reviews Cosmological argument in proving the existence of God from the viewpoint of Imam Khomeini (RA). At first, various views to the existence of God are reviewed and then its etymology will be reviewed. Cosmological argument proves God through universal premises about truth and world and and the Movement Argument, Casual Argument and Necessity and Possibility Argument are dif...
متن کاملApplication of queuing theory in production-inventory optimization
This paper presents a mathematical model for an inventory control system in which customers’ demands and suppliers’ service time are considered as stochastic parameters. The proposed problem is solved through queuing theory for a single item. In this case, transitional probabilities are calculated in steady state. Afterward, the model is extended to the case of multi-item inventory systems. The...
متن کاملSequencing Mixed Model Assembly Line Problem to Minimize Line Stoppages Cost by a Modified Simulated Annealing Algorithm Based on Cloud Theory
This research presents a new application of the cloud theory-based simulated annealing algorithm to solve mixed model assembly line sequencing problems where line stoppage cost is expected to be optimized. This objective is highly significant in mixed model assembly line sequencing problems based on just-in-time production system. Moreover, this type of problem is NP-hard and solving this probl...
متن کاملParadox and Relativism
Since the time of Plato, relativism has been attacked as a self-refuting theory. Today, there are two basic kinds of argument that are used to show that global relativism is logically incoherent: first, a direct descendent of the argument Plato uses against Protagoras, called the peritrope; and, second, a more recent argument that relativism leads to an infinite regress. Although some relativis...
متن کامل